41. A practical introduction to denotational semantics
پدیدآورنده : Allison, Lloyd
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
7
.
A45
1987
42. A programming approach to computability
پدیدآورنده : / A. J. Kfoury, Robert N. Moll, Michael A. Arbib
کتابخانه: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
موضوع : Computable functions,Programming (Electronic computers)
رده :
QA9
.
59
.
K46
43. A relational theory of computing
پدیدآورنده : Sanderson, John G.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Electronic digital computers - Programming,، Metamathematics
رده :
QA
76
.
L4
v
.
82
44. A science of operations
پدیدآورنده : / by Peter Mark Priestley
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Computer programming, History,Programming languages (Electronic computers), History,Microcomputers, History,Logic, Symbolic and mathematical
رده :
QA76
.
6
.
P75
2010
45. A science of operations
پدیدآورنده : Mark Priestley
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Computer programming, History,Programming languages (Electronic computers), History,Microcomputers, History,Logic, Symbolic and mathematical
رده :
QA
،
76
.
6
،.
P737
،
2010
46. A study in string processing languages
پدیدآورنده : Klint, Paul
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Text processing )Computer science(,، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
205
47. A study in string processing languages
پدیدآورنده : Klint, Paul
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Text processing )Computer science(,، Programming languages )Electronic computers(
رده :
QA
76
.
9
.
T48
.
K58
1985
48. A study in string processing languages
پدیدآورنده : Klint, Paul.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Text processing )Computer science(,، Programming languages )Electronic computers(
رده :
QA
76
.
L4
v
.
205
49. A tesxtbook on computer programming; with industtial and engineering applications
پدیدآورنده : Ramani, S
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Programming )Electronic computers(
رده :
QA
76
.
R3
1977
50. A text book on computer programming: with industrial & engineering applications
پدیدآورنده : Ramani, S
کتابخانه: Central Library and Information Center of Birjand University (South Khorasan)
موضوع : ، Programming )Electronic computers
رده :
QA
76
.
R3
1977
51. A textbook on computer programming with industrial & engineering applications
پدیدآورنده : / S. Ramani, N. V. Kotesware Rao, R. Nagarajan
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Programming (Electronic computers)
رده :
001
.
642
R165
1977
52. A view of programming languages
پدیدآورنده : Galler, Bernard A
موضوع : ، Programming languages )Electronic computers(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
53. ABSTRACT DATA TYPES AND ALGORITHMS.
پدیدآورنده :
کتابخانه: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
موضوع : ELECTRONIC DIGITAL COMPUTERS PROGRAMMING,Computer algorithms
رده :
QA
76
.
6
.
A9
54. ACM SIGPLAN Erlang Workshop'02 : A satellite event of PLI 2002 : October 7, 2002, Pittsburgh, Pennsylvania, USA
پدیدآورنده :
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، ERLANG )Computer program language(,Congresses ، Programming languages )Electronic computers(,Congresses ، Computer software
رده :
QA
76
.
73
.
E75A26
2002
55. ACM Turing Award lectures :
پدیدآورنده :
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computers.,Electronic data processing.,Informatique.,Ordinateurs.,Computers.,Computers.,Electronic data processing.,Informatik,Informatique-- Histoire.,Informatique.,Ordinateurs.,Programmeren (computers)
رده :
QA76
.
24
.
A33
1987
56. ADA a first course in programming and software engineering
پدیدآورنده : Bover, David
کتابخانه: Library of Niroo Research Institue (Tehran)
موضوع : ، Programming )Electronic computers(,، Software engineering,، Ada )Computer program language(
رده :
QA
76
.
6
.
B695
57. ALE, EDI & IDoc technologies for SAP /
پدیدآورنده : Arvind Nagpal with John Pitlak.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : SAP R/3.,SAP R/3.,Business-- Computer programs.,Client/server computing.,Electronic data interchange.,Business-- Computer programs.,Client/server computing.,COMPUTERS-- Enterprise Applications-- General.,Electronic data interchange.
رده :
HF5548
.
4
.
R2
N33
2001eb
58. ALGOL 60 compilation and assessment
پدیدآورنده : Wichmann, B. A.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، ALGOL )Computer program language(,، Compailing )Electronic computers(
رده :
QA
76
.
73
.
A24
W5
59. ALGOL 68 implementation: proceedings of the IFIP working conference on ALGOL 68 Implementation= Munich, July 20-24, 1970
پدیدآورنده : / Edited by J. E. L. Peck
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : ALGOL (Computer program language) - Congresses,Electronic digital computers - Programming - Congresses
رده :
001
.
6424
I11
1970
60. ALGOL 68 implementation; proceedings of the IFIP Working Conference on ALGOL 68 Implementation, Munich, July 20-24, 1970
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، ALGOL )Computer program language(-- Congresses,، Electronic digital computers-- Programming-- Congresses
رده :
QA
76
.
5
.
I28
1970
